local-atom(A;dec;a)
== ma-body(A):Shape(A)>>a  True  dec:b:IdA.state(TopA.da(locl(b))Top+Top)>>a 

latex

---

clarification:

local-atom{i:l}
local-atom(A; dec; a)
== ma-body(A):ma-shape{i:l}(A)>>a  True  dec:b:IdA.state(TopA.da(locl(b))Top+Top)>>a 

latex

Definitions	Shape(M), ma-body(M), P  Q, True, x:T>>a, Id, x:AB(x), M.state, left+right, x:AB(x), M.da(a), locl(a), Top
FDL editor aliases	local-atom